#include <stdio.h>

int main()
{	
	const int num=10; 
	int x;
	int count[num];
	int i;
	scanf("%d",&x);
	
	for(i=0;i<num;i++){
		count[i]=0;
	}
	
	while(x!=-1){
		if(x>=0 && x<=9) {
			count[x]++; 
		}
		scanf("%d",&x);
	} 
	
	for(i=0;i<num;i++){
		if(count[i]!=0){
			printf("%d:%d\n",i,count[i]);	
		}
	}
	 
	return 0;
}


